#!/bin/bash

echo $times
